loop invariants

visit shbcf.ru